A robust semantics hides fewer errors

In this paper we explore how formal models are interpreted and to what degree meaning is captured in the formal semantics and to what degree it remains in the informal interpretation of the semantics. By applying a robust approach to the definition of refinement and semantics, favoured by the event-based community, to state-based theory we are able to move some aspects from the informal interpretation into the formal semantics

Do quasi-regular structures really exist in the solar photosphere? I. Observational evidence

Two series of solar-granulation images -- the La Palma series of 5 June 1993 and the SOHO MDI series of 17--18 January 1997 -- are analysed both qualitatively and quantitatively. New evidence is presented for the existence of long-lived, quasi-regular structures (first reported by Getling and Brandt (2002)), which no longer appear unusual in images averaged over 1--2-h time intervals. Such structures appear as families of light and dark concentric rings or families of light and dark parallel strips (``ridges'' and ``trenches'' in the brightness distributions). In some cases, rings are combined with radial ``spokes'' and can thus form ``web'' patterns. The characteristic width of a ridge or trench is somewhat larger than the typical size of granules. Running-average movies constructed from the series of images are used to seek such structures. An algorithm is developed to obtain, for automatically selected centres, the radial distributions of the azimuthally averaged intensity, which highlight the concentric-ring patterns. We also present a time-averaged granulation image processed with a software package intended for the detection of geological structures in aerospace images. A technique of running-average-based correlations between the brightness variations at various points of the granular field is developed and indications are found for a dynamical link between the emergence and sinking of hot and cool parcels of the solar plasma. In particular, such a correlation analysis confirms our suggestion that granules -- overheated blobs -- may repeatedly emerge on the solar surface. Based on our study, the critical remarks by Rast (2002) on the original paper by Getling and Brandt (2002) can be dismissed.Comment: 21 page, 8 figures; accepted by "Solar Physics

Measurement of the Charged Multiplicities in b, c and Light Quark Events from Z0 Decays

Average charged multiplicities have been measured separately in $b$, $c$ and light quark ($u,d,s$) events from $Z^0$ decays measured in the SLD experiment. Impact parameters of charged tracks were used to select enriched samples of $b$ and light quark events, and reconstructed charmed mesons were used to select $c$ quark events. We measured the charged multiplicities: $\bar{n}_{uds} = 20.21 \pm 0.10 (\rm{stat.})\pm 0.22(\rm{syst.})$, $\bar{n}_{c} = 21.28 \pm 0.46(\rm{stat.}) ^{+0.41}_{-0.36}(\rm{syst.})$ $\bar{n}_{b} = 23.14 \pm 0.10(\rm{stat.}) ^{+0.38}_{-0.37}(\rm{syst.})$, from which we derived the differences between the total average charged multiplicities of $c$ or $b$ quark events and light quark events: $\Delta \bar{n}_c = 1.07 \pm 0.47(\rm{stat.})^{+0.36}_{-0.30}(\rm{syst.})$ and $\Delta \bar{n}_b = 2.93 \pm 0.14(\rm{stat.})^{+0.30}_{-0.29}(\rm{syst.})$. We compared these measurements with those at lower center-of-mass energies and with perturbative QCD predictions. These combined results are in agreement with the QCD expectations and disfavor the hypothesis of flavor-independent fragmentation.Comment: 19 pages LaTex, 4 EPS figures, to appear in Physics Letters

Formation of Large-Scale Semi-Organized Structures in Turbulent Convection

A new mean-field theory of turbulent convection is developed. This theory predicts the convective wind instability in a shear-free turbulent convection which causes formation of large-scale semi-organized fluid motions in the form of cells or rolls. Spatial characteristics of these motions, such as the minimum size of the growing perturbations and the size of perturbations with the maximum growth rate, are determined. This study predicts also the existence of the convective shear instability in a sheared turbulent convection which results in generation of convective shear waves with a nonzero hydrodynamic helicity. Increase of shear promotes excitation of the convective shear instability. Applications of the obtained results to the atmospheric turbulent convection and the laboratory experiments on turbulent convection are discussed. This theory can be applied also for the describing a mesogranular turbulent convection in astrophysics.Comment: 16 pages, 10 figures, REVTEX4, PHYSICAL REVIEW E, v. 67, in press (2003

Search for single vector-like quarks in ppbar collisions at sqrt(s) = 1.96 TeV

We present a search for hypothetical vector-like quarks in ppbar collisions at sqrt(s) = 1.96 TeV. The data were collected by the D0 detector at the Fermilab Tevatron Collider and correspond to an integrated luminosity of 5.4 fb^(-1). We select events with a final state composed of a W or Z boson and a jet consistent with a heavy object decay. We observe no significant excess in comparison to the background prediction and set limits on production cross sections for vector-like quarks decaying to W+jet and Z+jet. These are the most stringent mass limits for electroweak single vector-like quark production at hadron colliders.Comment: submitted to Phys. Rev. Let

Measurement of spin correlation in ttbar production using dilepton final states

We measure the correlation between the spin of the top quark and the spin of the anti-top quark in (ttbar -> W+ W- b bbar -> l+ nu b l- nubar bbar) final states produced in ppbar collisions at a center of mass energy sqrt(s)=1.96 TeV, where l is an electron or muon. The data correspond to an integrated luminosity of 5.4 fb-1 and were collected with the D0 detector at the Fermilab Tevatron collider. The correlation is extracted from the angles of the two leptons in the t and tbar rest frames, yielding a correlation strength C= 0.10^{+0.45}_{-0.45}, in agreement with the NLO QCD prediction within two standard deviations, but also in agreement with the no correlation hypothesis.Comment: 10 pages, 3 figures, submitted to PL

Search for single top quarks in the tau+jets channel using 4.8 fb−1^{-1} of ppˉp\bar{p} collision data

We present the first direct search for single top quark production using tau leptons. The search is based on 4.8 fb$^{-1}$ of integrated luminosity collected in $p\bar{p}$ collisions at $\sqrt{s}$=1.96 TeV with the D0 detector at the Fermilab Tevatron Collider. We select events with a final state including an isolated tau lepton, missing transverse energy, two or three jets, one or two of them $b$ tagged. We use a multivariate technique to discriminate signal from background. The number of events observed in data in this final state is consistent with the signal plus background expectation. We set in the tau+jets channel an upper limit on the single top quark cross section of \TauLimObs pb at the 95% C.L. This measurement allows a gain of 4% in expected sensitivity for the observation of single top production when combining it with electron+jets and muon+jets channels already published by the D0 collaboration with 2.3 fb$^{-1}$ of data. We measure a combined cross section of \SuperCombineXSall pb, which is the most precise measurement to date.Comment: 12 pages, 5 figure

b-Jet Identification in the D0 Experiment

Algorithms distinguishing jets originating from b quarks from other jet flavors are important tools in the physics program of the D0 experiment at the Fermilab Tevatron p-pbar collider. This article describes the methods that have been used to identify b-quark jets, exploiting in particular the long lifetimes of b-flavored hadrons, and the calibration of the performance of these algorithms based on collider data.Comment: submitted to Nuclear Instruments and Methods in Physics Research

Measurement of Z/gamma*+jet+X angular distributions in ppbar collisions at sqrt{s}=1.96 TeV

We present the first measurements at a hadron collider of differential cross sections for Z+jet+X production in delta phi(Z, jet), |delta y(Z, jet)| and |y_boost(Z, jet)|. Vector boson production in association with jets is an excellent probe of QCD and constitutes the main background to many small cross section processes, such as associated Higgs production. These measurements are crucial tests of the predictions of perturbative QCD and current event generators, which have varied success in describing the data. Using these measurements as inputs in tuning event generators will increase the experimental sensitivity to rare signals.Comment: Published in Physics Letters B 682 (2010), pp. 370-380. 15 pages, 6 figure

Search for the standard model Higgs boson in tau final states

We present a search for the standard model Higgs boson using hadronically decaying tau leptons, in 1 inverse femtobarn of data collected with the D0 detector at the Fermilab Tevatron ppbar collider. We select two final states: tau plus missing transverse energy and b jets, and tau+ tau- plus jets. These final states are sensitive to a combination of associated W/Z boson plus Higgs boson, vector boson fusion and gluon-gluon fusion production processes. The observed ratio of the combined limit on the Higgs production cross section at the 95% C.L. to the standard model expectation is 29 for a Higgs boson mass of 115 GeV.Comment: publication versio